-
1 строгий контроль типов
Русско-английский словарь по вычислительной технике и программированию > строгий контроль типов
-
2 строгий контроль типов
Русско-английский индекс к Англо-русскому толковому словарю терминов и сокращений по ВТ, Интернету и программированию > строгий контроль типов
-
3 строгий контроль типов
Русско-английский политехнический словарь > строгий контроль типов
-
4 ошибка в определении типа
Русско-английский большой базовый словарь > ошибка в определении типа
-
5 слабый тип
Русско-английский словарь по информационным технологиям > слабый тип
-
6 строгая типизация
General subject: strong typing (в языках программирования - требование, чтобы для каждой переменной был чётко определён тип данных, который может быть ей присвоен; это предотврашает ошибки, связанные с типами данных (type error), во время исполнения) -
7 строгий контроль типов
1) Computers: strict type checking2) Engineering: strong typingУниверсальный русско-английский словарь > строгий контроль типов
См. также в других словарях:
Strong typing — Starke Typisierung (engl. strong typing, daher oft auch strenge Typisierung) bezeichnet ein Schema der Typisierung von Programmiersprachen. Bei der starken Typisierung bleibt eine einmal durchgeführte Bindung zwischen Variable und Datentyp… … Deutsch Wikipedia
strong typing — noun A system that places any of various kinds of restriction on the interactions between objects of different data types. Ant: loose typing, weak typing … Wiktionary
Strong Bad — Homestar Runner character First appearance The Homestar Runner Enters the Strongest Man in the World Contest Created b … Wikipedia
Duck typing — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Weak typing — In computer science, weak typing (a.k.a. loose typing ) is a property attributed to the type systems of some programming languages. It is the opposite of strong typing, and consequently the term weak typing has as many different meanings as… … Wikipedia
Manifest typing — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Strongly-typed programming language — In computer science and computer programming, the term strong typing is used to describe those situations where programming languages specify one or more restrictions on how operations involving values having different data types can be… … Wikipedia
Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… … Wikipedia
Schwache Typisierung — Die Artikel Typsystem und Typisierung (Informatik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… … Deutsch Wikipedia
Typisierung (Informatik) — Eine Typisierung (engl. typing) dient in der Informatik dazu, dass die Objekte (hier Objekte im mathematisch abstrakten Sinne verstanden) der Programmiersprachen, wie z. B. Variablen, Funktionen oder Objekte (im Sinne der objektorientierten… … Deutsch Wikipedia